A New Method for Interoperability Test Generation
نویسندگان
چکیده
Interoperability testing aims at verifying the possibility for two or more components to communicate correctly while providing the foreseen services. In this paper, we describe a new method for generating interoperability test cases. This method is equivalent to classical methods in terms of non-interoperability detection. Contrary to classical approaches, this method avoids the well-known state-space explosion problem. It has been implemented in the CADP Toolbox and applied to a simplified version of the ISDN connection protocol. The obtained results confirm the real contribution of this method: test cases has been derived while classical approaches face the state-space explosion problem.
منابع مشابه
Interoperability test generation: formal definitions and algorithm
In the context of network protocols, interoperability testing is used to verify that two (or more) implementations communicate correctly while providing the services described in their respective specifications. This study is aimed at providing a method for interoperability test generation based on formal definitions. Contrary to previous works, this study takes into account quiescence of imple...
متن کاملNew Low Cost Printed Antenna CPW-Fed for Global Positioning System, Personal Communication System and Worldwide Interoperability for Microwave Access Band Applications (TECHNICAL NOTE)
This paper presents a new design of a CPW-Fed multi bands planar antenna. This antenna can be integrated easily with passive and active elements. The proposed antenna is suitable to operate for GPS, PCS and WiMAX bands. Its entire area is 52.3x52.6mm2 and is employed on an FR-4 epoxy substrate and fed by a 50 Ohm coplanar line. The antenna parameters have been analyzed and optimized by using AD...
متن کاملFormalizing Interoperability Testing: Quiescence Management and Test Generation
This paper gives formal definitions of the different existing interoperability notions called interoperability criteria. The equivalence between two of them leads to a method for interoperability test generation that avoids the state explosion problem of classical approaches.
متن کاملTesting Interoperability Standards – A Test Case Generation Methodology
Over many years, National Institute of Standards and Technology (NIST) built test beds to support interoperability standards development and their implementation within software applications. A general test framework has been proposed to enhance new test bed development and reuse of existing test components and materials. Currently, the test framework is undergoing a validation effort within a ...
متن کاملAutomatic Interoperability Test Case Generation Based on Formal Definitions
The objective of this study is to provide methods for deriving automatically interoperability tests based on formal definitions. First, we give interoperability formal definitions taking into account both objectives of interoperability: the implementations must interact correctly and the expected service must be provided. Based on these definitions, a method for generating interoperability test...
متن کامل